Wyniki
-
Dual spaces for topological Boolean algebras
R. Quackenbush, R. Suszko
Bulletin of the Section of Logic , 3 /1 (1974) s. 16-18 -
Thing, name, number
L. Cumming
Bulletin of the Section of Logic , 6 /3 (1977) -
A Note the Logical Dependence of Simple Quantifiers
R. Zuber
Bulletin of the Section of Logic , 23 /4 (1994) s. 168-172 -
On negatively restricting Boolean algebras
R. Zuber
Bulletin of the Section of Logic , 26 /1 (1997) s. 50-54 -
The dialectical rule of strenght
J. D. Mackenzie
Bulletin of the Section of Logic , 6 /3 (1977) -
A theorem on well-finite standard consequence operation
Stephen L. Bloom
Bulletin of the Section of Logic , 2 /3 (1973) s. 159-163 -
A represantation theorem of standard consequence operation
Stephen L. Bloom
Bulletin of the Section of Logic , 4 /2 (1975) s. 52-55 -
An alternative account of bringing about : with a pinch of relevance
I. L. Humberstone
Bulletin of the Section of Logic , 6 /3 (1977) -
From Ternary to Tetrary?
Vladimir L. Vasyukov
Bulletin of the Section of Logic , 23 /4 (1994) s. 163-167 -
Implicative logics in categories
Vladimir L. Vasyukov
Bulletin of the Section of Logic , 26 /4 (1997) s. 188-192 -
Implicative logics, sequential deductive systems and exponential multicategories
Vladimir L. Vasyukov
Bulletin of the Section of Logic , 29 /1-2 (2000) s. 13-25 -
The bibinary semantics for R and Lω
Vladimir L. Vasyukov
Bulletin of the Section of Logic , 15 /3 (1986) s. 109-114 -
T-F-toposes for Lukasiewicz's infinite-valued logics
Vladimir L. Vasyukov
Bulletin of the Section of Logic , 17 /3-4 (1988) s. 182-187 -
A proof-theoretic analysis of da Costa's C*
Andres R. Raggio
Bulletin of the Section of Logic , 7 /2 (1978) s. 95 -
Some modofications of the Godel translation of classical logic into intuitionistic logic
Branislav R. Boricic
Bulletin of the Section of Logic , 19 /3 (1990) s. 84-86 -
Interpolation theorem for intuitionistic S4
Branislav R. Boricic
Bulletin of the Section of Logic , 20 /1 (1991) s. 2-6 -
Slaney's Logic F** is Constructive Logic with Strong Negation
M. Spinks, R. Veroff
Bulletin of the Section of Logic , 39 /3-4 (2010) s. 161-174 -
PC-lattices: A Class of Bounded BCK-algebras
Khosravi Shoar, R. A. Borzooei, R. Moradian, A. Radfar
Bulletin of the Section of Logic , 47 /1 (2018) s. 33-44